منابع مشابه
The Bene ts of Relaxing Punctuality 1
The most natural, compositional, way of modeling real-time systems uses a dense domain for time. The satissability of timing constraints that are capable of expressing punctuality in this model, however, is known to be undecidable. We introduce a temporal language that can constrain the time diierence between events only with nite, yet arbitrary, precision and show the resulting logic to be EXP...
متن کاملThe Bene ts of Relaxing Punctuality
The most natural, compositional, way of modeling real-time systems uses a dense domain for time. The satis ability of timing constraints that are capable of expressing punctuality in this model, however, is known to be undecidable. We introduce a temporal language that can constrain the time di erence between events only with nite, yet arbitrary, precision and show the resulting logic to be EXP...
متن کاملRelaxing the Glass-steagall Act: Do Diversification Benefits Exist?
The relaxation of the Glass-Steagall Act (GSA), the Act which separates commercial and investment banking, is currently under debate. Central to this debate is the potential risk reduction of commercial banks due to diversification. This paper, through a thorough and complete examination of the diversification potential, establishes an upper bound of diversification benefits. The results do sup...
متن کاملPAYGO for Punctuality
The federal budgeting process is wrought with conflict that makes it nearly impossible for the budget to be passed on time, or so it seems. One aspect overlooked is the effects of statutory Pay-As-You-Go (PAYGO) rules. The cursory evidence indicates PAYGO may be beneficial under certain circumstances. The analysis relies on an Autoregressive-Moving-Average (ARMA) time series model with data fro...
متن کاملPunctuality and Railway Maintenance
The iron ore railway in northern Scandinavia is a single track line that stretches from the Gulf of Bothnia to the Norwegian Sea. Mixed traffic on a single-track railway makes the traffic sensitive and prone to disturbances. To improve punctuality and efficiency in the traffic flow, the link between disturbances and their impacts on train delays needs to be analysed and understood more precisel...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of the ACM
سال: 1996
ISSN: 0004-5411,1557-735X
DOI: 10.1145/227595.227602